((v1 v2 6))
12
()